@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
bin/prover9-mace4
libexec/prover9/
libexec/prover9/p9m4/
libexec/prover9/p9m4/control.py
libexec/prover9/p9m4/files.py
libexec/prover9/p9m4/my_setup.py
libexec/prover9/p9m4/options.py
libexec/prover9/p9m4/partition_input.py
libexec/prover9/p9m4/platforms.py
libexec/prover9/p9m4/prover9-mace4.py
libexec/prover9/p9m4/utilities.py
libexec/prover9/p9m4/wx_utilities.py
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
share/p9m4/Images/p9.ico
share/p9m4/Images/prover9-5a-128t.gif
share/p9m4/Images/prover9-splash.gif
share/p9m4/Samples/
share/p9m4/Samples/Equality/
share/p9m4/Samples/Equality/Mace4/
share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
share/p9m4/Samples/Equality/Mace4/CL-QL.in
share/p9m4/Samples/Equality/Mace4/Megill-68.in
share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
share/p9m4/Samples/Equality/Mace4/QG-4.in
share/p9m4/Samples/Equality/Mace4/Ring-19.in
share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
share/p9m4/Samples/Equality/Prover9/
share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
share/p9m4/Samples/Equality/Prover9/CL-BW.in
share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
share/p9m4/Samples/Equality/Prover9/OML-sax.in
share/p9m4/Samples/Equality/Prover9/RBA-2.in
share/p9m4/Samples/GT_Sax.in
share/p9m4/Samples/Kauer.in
share/p9m4/Samples/LT-McKenzie-4basis.in
share/p9m4/Samples/Non-Equality/
share/p9m4/Samples/Non-Equality/Mace4/
share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
share/p9m4/Samples/Non-Equality/Prover9/
share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
share/p9m4/Samples/Non-Equality/Prover9/Steam.in
share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
share/p9m4/Samples/Non-Equality/Prover9/temp
share/p9m4/Samples/Non-Equality/Prover9/temp0
share/p9m4/Samples/Non-Equality/Prover9/temp1
